Vaughan Pearson Smith

Von Neumann Algebras . Vaughan

The purpose of these notes is to provide a rapid introduction to von Neumann algebras which gets to the examples and active topics with a minimum of technical baggage. In this sense it is opposite in spirit from the treatises of philosophy is to lavish attention on a few key results and examples, and we prefer to make simplifying assumptions rather than go for the most general case. Thus we do ...

Some Moment calculations . Vaughan

On Vaughan Pratt's crossword problem

Vaughan Pratt has introduced objects consisting of pairs (A, W ) where A is a set and W a set of subsets of A, such that (i) W contains ∅ and A, (ii) if C is a subset of A×A such that for every a ∈ A, both {b | (a, b) ∈ C} and {b | (b, a) ∈ C} are members of W (a “crossword” with all “rows” and “columns” in W ), then {b | (b, b) ∈ C} (the “diagonal word”) also belongs to W, and (iii) for all di...

LINGOL — A Progress Report Vaughan

LINGOL is a linguistics oriented programming language. We describe briefly work in progress on a large-scale LINGOL program designed to demonstrate the value of LINGOL as a research tool in the writing of natural language programs. Attention is then focused on the parsing algorithm used in LINGOL. It is shown that for the class of interpretive context-free parsers that do no backing up or looka...

2 Valeria De Paiva and Vaughan Pratt

This special volume of Theory and Applications of Categories (TAC) addresses the theme “Chu Spaces: Theory and Applications.” The idea for the volume grew out of the workshop of that name organized by the volume’s editors in association with the conference Logic in Computer Science (LiCS’2000) held at Santa Barbara in 2000. We conceived the scope of the volume as not being limited to the materi...